Polynomial behavior of the Honda formal group law
نویسندگان
چکیده
منابع مشابه
Invariants of Formal Group Law Actions
0. Introduction. In this note, k denotes a field of characteristic p > 0, and the letters T, X and Y are formal indeterminants. Let F: k[[T]] —• /c[[X,Y]] be a (fixed) one-dimensional formal group law [Dieudonné, Hazewinkel, Lazard, Lubin] of height h > 0. Let V denote a k[[T]] module of finite length. Suppose Ann(V) = (T). Let q = p denote the least power of p such that n < q. It follows that ...
متن کاملextensions of some polynomial inequalities to the polar derivative
توسیع تعدادی از نامساوی های چند جمله ای در مشتق قطبی
15 صفحه اولHonda humanoid robots development.
Honda has been doing research on robotics since 1986 with a focus upon bipedal walking technology. The research started with straight and static walking of the first prototype two-legged robot. Now, the continuous transition from walking in a straight line to making a turn has been achieved with the latest humanoid robot ASIMO. ASIMO is the most advanced robot of Honda so far in the mechanism a...
متن کاملPolynomial Formal Verification of Multipliers
Until recently, verifying multipliers with formal methods was not feasible, even for small input word sizes. About two years ago, a new data structure, called Multiplicative Binary Moment Diagram (*BMD), was introduced for representing arithmetic functions over Boolean variables. Based on this data structure, methods were proposed by which verification of multipliers with input word sizes of up...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Homotopy and Related Structures
سال: 2016
ISSN: 2193-8407,1512-2891
DOI: 10.1007/s40062-016-0128-0